<?php // lint >= 7.4

100000;
1.00000;
0666;
0_666;
